prove an equation has a solution